<?php
/* 
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

/**
 * Description of htmlspecialchars_plug
 *
 * @author charly
 */
class htmlspecialchars_plug {

    static function &set($value) {
        $value = htmlspecialchars($value);
    }
}
?>
